body {
    margin: 0;
    padding: 0;
    overflow: hidden;
}

#header {
    position: absolute;
    top: 0;
    left: 0;
    right: 0;
    height: 24px;
    background-color: white;
    -webkit-user-select: none;
    user-select: none;
    padding-left: 4px;
    visibility: hidden;
}

#header-split {
    position: absolute;
    top: 24px;
    left: 0;
    right: 0;
    height: 1px;
    background-color: rgb(233, 233, 233);
    z-index: 10000;
    -webkit-user-select: none;
    user-select: none;
}

#main {
    position: absolute;
    top: 26px;
    left: 0;
    right: 0;
    bottom: 0;
    overflow: hidden;
}

#container {
    position: absolute;
    top: 6px;
    left: 6px;
    right: 6px;
    bottom: 6px;
}

@font-face {
    font-family: "Editor Fonts";
    src: local('Cascadia Code'),
        local('Source Code Pro'),
        local('Consolas'),
        local('Monaco'),
        local('Monospace'),
        local('Courier New'),
        monospace
}

.header-button {
    display: inline-block;
    width: 40px;
    height: 20px;
    margin: 2px;
    margin-left: 0;
    margin-right: 0;
    text-align: center;
    font-size: 12px;
    border-radius: 3px;
    outline: none;
    border: none;
    background-color: white;
}

.header-button:hover {
    background-color: rgb(233, 233, 233);
}